3

Z2SAL: a translation-based model checker for Z

Year:
2011
Language:
english
File:
PDF, 253 KB
english, 2011